Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
نویسندگان
چکیده
منابع مشابه
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic
In this paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on single-agent1 Public Announcement Logic (PAL) without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a process of ...
متن کاملAbout intuitionistic public announcement logic
Public announcement logic (PAL) is a logic for reasoning about the dynamic of knowledge in a multi-agent system in which public announcements are made. Syntactically, public announcements are modal formulas. Semantically, they correspond to restrictions of models. In [10], Ma et al. use the standard toolkit of duality theory in modal logic to define an algebraic semantics for a combination of I...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملPublic announcement logic with distributed knowledge: expressivity, completeness and complexity
While dynamic epistemic logics with common knowledge have been extensively studied, dynamic epistemic logics with distributed knowledge have so far received far less attention. In this paper we study extensions of public announcement logic (PAL) with distributed knowledge, in particular their expressivity, axiomatisations and complexity. PAL extended only with distributed knowledge is not more ...
متن کاملan algebraic structure for intuitionistic fuzzy logic
in this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. it would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. we give the main properties of the operations defined and prove som...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2014
ISSN: 0168-0072
DOI: 10.1016/j.apal.2013.11.004